IEEE FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS STANDARDS COMMITTEE (FIPA SC) Working Group: Design Process Documentation and Fragmentation Contact name: Problem Statement:

Source URL: www.pa.icar.cnr.it

• Business
• Economy
• Process management
• Technology
• Business process
• Metamodeling
• Scientific modeling
• Software design
• Object Process Methodology
• Method engineering
• Specification
• Design

Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗

Source URL: folk.uib.no

• Game theory
• Artificial intelligence
• Formal epistemology
• Modal logic
• Logic in computer science
• Common knowledge
• Epistemic modal logic
• Intelligent agent
• Alternating-time Temporal Logic
• Temporal logic
• Social software
• Mechanism design

6th ERCIM Workshop "User Interfaces for All" Long Paper A Simplistic Approach to Internationalization: Design Considerations for an Autonomous Intelligent Agent

Source URL: www.ui4all.gr

Intelligent Pharma offers different services in computer aided drug discovery. Our molecular modeling department carries out research projects to help your team design and develop new drugs using our computational chemis

Source URL: www.intelligentpharma.com

QLectives – Socially Intelligent Systems for Quality Project noInstrument: Large-scale integrating project (IP) Programme: FP7-ICT Deliverable D2.1.3 Empirically informed algorithm design for cooperation exper

Source URL: qlectives.eu

• BitTorrent
• File sharing
• Peer-to-peer
• Segmented file transfer
• Tribler

2010 IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning Toward a framework for the analysis and design of educational games Vincent Aleven*, Eben Myers †, Matthew Easterday*, Amy Ogan*

Source URL: delta.northwestern.edu

• Education
• Euthenics
• Educational psychology
• Knowledge sharing
• Instructional design
• Educational technology
• MDA framework
• Educational game
• Gameplay
• Active learning
• Learning
• Zombie

An Architecture for Integrated Design of Human-Robot Interaction Capabilities Challenges in Evaluating Robot Control Architectures François Ferland IntRoLab - Intelligent, Interactive, Integrated and

Source URL: www.tech.plym.ac.uk

Creationism and Intelligent Design: False Friends David H Bailey, Lawrence Berkeley National Lab, USA http://crd.lbl.gov/~dhbailey! http://www.sciencemeetsreligion.org! !

Source URL: www.davidhbailey.com

Creationism and Intelligent Design: False Friends David H Bailey, Lawrence Berkeley National Lab, USA http://crd.lbl.gov/~dhbailey! http://www.sciencemeetsreligion.org! !

Source URL: www.dhbailey.com

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design